GtkPlug: Avoid gdk_device_manager_get_client_pointer()

It's now deprecated

diff --git a/gtk/gtkplug.c b/gtk/gtkplug.c
index 79ffba31cb72a5eb9d73433c09eb2c46b4376cbd..86d7d0eec54f90594099c559ab6cac8beed74c1f 100644 (file)
--- a/gtk/gtkplug.c
+++ b/gtk/gtkplug.c
@@ -954,9 +954,9 @@ gtk_plug_filter_func (GdkXEvent *gdk_xevent,
     case KeyRelease:
       {
         GdkModifierType state, consumed;
-        GdkDeviceManager *device_manager;
-        GdkDevice *pointer, *keyboard;
+        GdkDevice *keyboard;
         GdkKeymap *keymap;
+        GdkSeat *seat;
 
         if (xevent->type == KeyPress)
           event->key.type = GDK_KEY_PRESS;
@@ -970,9 +970,8 @@ gtk_plug_filter_func (GdkXEvent *gdk_xevent,
         event->key.hardware_keycode = xevent->xkey.keycode;
         event->key.keyval = GDK_KEY_VoidSymbol;
 
-        device_manager = gdk_display_get_device_manager (display);
-        pointer = gdk_device_manager_get_client_pointer (device_manager);
-        keyboard = gdk_device_get_associated_device (pointer);
+        seat = gdk_display_get_default_seat (display);
+        keyboard = gdk_seat_get_keyboard (seat);
         gdk_event_set_device (event, keyboard);
 
         keymap = gdk_keymap_get_for_display (display);